Disproving the Neighborhood Conjecture

نویسنده

  • Heidi Gebauer
چکیده

We study the following Maker/Breaker game. Maker and Breaker take turns in choosing vertices from a given n-uniform hypergraph F , with Maker going first. Maker’s goal is to completely occupy a hyperedge and Breaker tries to avoid this. Beck conjectures that if the maximum neighborhood size of F is at most 2 then Breaker has a winning strategy. We disprove this conjecture by establishing an n-uniform hypergraph with maximum neighborhood size 3 ·2 where Maker has a winning strategy. Moreover, we show how to construct an n-uniform hypergraph with maximum degree 2 n−1 n where Maker has a winning strategy. Finally we show that each n-uniform hypergraph with maximum degree at most 2 n−2 en has a proper halving 2-coloring, which solves another open problem posed by Beck related to the Neighbourhood Conjecture.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Finding Uniquely Hamiltonian Graphs of Minimum Degree Three with Small Crossing Numbers

In graph theory, a prominent conjecture of Bondy and Jackson states that every uniquely hamiltonian planar graph must have a vertex of degree two. In this work we try to find uniquely hamiltonian graphs with minimum degree three and a small crossing number by minimizing the number of crossings in an embedding and the number of degree-two vertices. We formalize an optimization problem for this p...

متن کامل

Diagnosing a Failed Proof in Fault-Tolerance: A Disproving Challenge Problem

This paper proposes a challenge problem in disproving. We describe a fault-tolerant distributed protocol designed at NASA for use in a fly-by-wire system for next-generation commercial aircraft. An early design of the protocol contains a subtle bug that is highly unlikely to be caught in faultinjection testing. We describe a failed proof of the protocol’s correctness in a mechanical theorem pro...

متن کامل

On a Conjecture of D. Styer regarding Univalent Geometric and Annular Starlike Functions

The aim of this paper is two-fold. First, to give a direct proof for the already established result of Styer which states that a univalent geometrically starlike function f is a univalent annular starlike function if f is bounded. Second, to show that the boundedness condition of f is necessary, thus disproving a conjecture of Styer.

متن کامل

A counterexample to a question of Atiyah

We prove that there are examples of finitely generated groups Γ together with group ring elements Q ∈ QΓ for which the von Neumann dimension dimLΓ kerQ is irrational, so (in conjunction with other known results) disproving a conjecture of Atiyah.

متن کامل

Tangents of plurisubharmonic functions

Tangents of plurisubharmonic functions Local properties of plurisubharmonic functions are studied by means of the notion of tangent which describes the behavior of the function near a given point. We show that there are plurisubharmonic functions with several tangents, disproving a conjecture of Reese Harvey.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/0810.1981  شماره 

صفحات  -

تاریخ انتشار 2008